Formal Verification for the Absence of Deadlock in the Manager Workers Pattern

Authors: Francisco Hernández-Quiroz, Jorge Luis Ortega-Arjona

Research in Computing Science, Vol. 45, pp. 73-84, 2010.

PDF: Formal Verification for the Absence of Deadlock in the Manager Workers Pattern
PDF: Formal Verification for the Absence of Deadlock in the Manager Workers Pattern